Proposition 2.3.2.

Let for some -algebra .

  1. for , is the zero element in Identity element
  2. If and , then coordinatewise transitivity
  3. Symmetric
  4. If are projections in such that , then is a projection and .
  5. Asssociative